predicate calculus - Allemand Anglais Dictionnaire